
module AgdaBasics where

data Bool where
 true : Bool
 false : Bool
